Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language
نویسندگان
چکیده
We introduce two new packages, Nemo and Hecke, written in the Julia programming language for computer algebra and number theory. We demonstrate that high performance generic algorithms can be implemented in Julia, without the need to resort to a lowlevel C implementation. For specialised algorithms, we use Julia’s efficient native C interface to wrap existing C/C++ libraries such as Flint, Arb, Antic and Singular. We give examples of how to use Hecke and Nemo and discuss some algorithms that we have implemented to provide high performance basic arithmetic. ACM Reference format: Claus Fieker, William Hart, Tommy Hofmann, and Fredrik Johansson. 2017. Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language. In Proceedings of ISSAC ’17, Kaiserslautern, Germany, July 25-28, 2017, 8 pages. https://doi.org/10.1145/3087604.3087611
منابع مشابه
Arithmetic Teichmuller Theory
By Grothedieck's Anabelian conjectures, Galois representations landing in outer automorphism group of the algebraic fundamental group which are associated to hyperbolic smooth curves defined over number fields encode all arithmetic information of these curves. The goal of this paper is to develope and arithmetic teichmuller theory, by which we mean, introducing arithmetic objects summarizing th...
متن کاملOpen-source Contributions to Julia, a Scientific Programming Language, for Mathematical Optimisation
In the world of programming languages, those that have good runtime performance (like C or Fortran) rarely have nice dynamic features, whereas languages that offer a better programmer productivity (like MATLAB or Python) lack performance. Julia is a newcomer in the field of scientific and technical computations that has a productivity-oriented syntax, but closely matches the performance of lowe...
متن کاملOn the irreducibility of the complex specialization of the representation of the Hecke algebra of the complex reflection group $G_7$
We consider a 2-dimensional representation of the Hecke algebra $H(G_7, u)$, where $G_7$ is the complex reflection group and $u$ is the set of indeterminates $u = (x_1,x_2,y_1,y_2,y_3,z_1,z_2,z_3)$. After specializing the indetrminates to non zero complex numbers, we then determine a necessary and sufficient condition that guarantees the irreducibility of the complex specialization of the repre...
متن کاملAlgorithms and computer algebra from particle physics
I report on two programs, “gTybalt” and “nestedsums”, which were originally developed for the calculation of quantum loop corrections in particle physics. However, these programs solve tasks, which are not specific to particle physics. The first one, “gTybalt”, is a free computer algebra system based entirely on open-source code. The program is build on top of other packages. It offers the poss...
متن کاملCAS - New Strategies and Techniques
Computer algebra systems are software packages, usually Object-oriented, which are used in manipulation of mathematical formulas. The primary goal of a Computer Algebra System (CAS) is to automate tedious and sometimes difficult algebraic manipulation tasks. The specific uses and capabilities of these systems vary greatly from one system to another. Some of them include facilities for graphing ...
متن کامل